lim(x->inf) (lnx)^x/x